Amalgamation Property in Quasi-modal Algebras
نویسنده
چکیده
In this paper we will give suitable notions of Amalgamation and Super-amalgamation properties for the class of quasi-modal algebras introduced by the author in his paper Quasi-Modal algebras.
منابع مشابه
Maksimova ON VARIABLE SEPARATION IN MODAL LOGICS
It was proved in [4] that interpolation properties of propositional normal modal logics (n.m.l.) are closely connected with amalgamation properties of associated varieties of modal algebras. In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any n.m.l. is equivalent to the so-called Super-Embedding Property of...
متن کاملThe Strong Amalgamation Property and (effective) Codescent Morphisms
Codescent morphisms are described in regular categories which satisfy the so-called strong amalgamation property. Among varieties of universal algebras possessing this property are, as is known, categories of groups, not necessarily associative rings, M -sets (for a monoid M), Lie algebras (over a field), quasi-groups, commutative quasi-groups, Steiner quasi-groups, medial quasigroups, semilatt...
متن کاملThe Amalgamation Property and a Problem of Henkin, Monk and Tarski
Using the fact that the class of representable cylindric algebras of infinite dimension fails to have the amalgamation property, we solve an open problem in the monograph “Cylindric Algebras, Part I” by Henkin, Monk and Tarski. Our result applies to other algebras of logic, namely Pinter’s substitution algebras and Halmo’s quasi-polyadic algebras.
متن کاملInterrelation of Algebraic, Semantical and Logical Properties for Superintuitionistic and Modal Logics
We consider the families L of propositional superintuitionistic logics (s.i.l.) andNE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between L and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig’s int...
متن کاملOn some properties of quasi-MV algebras and √′ quasi-MV algebras. Part II
The present paper is a sequel to Paoli F, Ledda A, Giuntini R, Freytes H (On some properties of QMV algebras and √′QMV algebras, submitted). We provide two representation results for quasi-MV algebras in terms of MV algebras enriched with additional structure; we investigate the lattices of subvarieties and subquasivarieties of quasi-MV algebras; we show that quasi-MV algebras, as well as carte...
متن کامل